401. The Finite Element Method: Theory, Implementation, and Application
پدیدآورنده : / by Mats G. Larson, Fredrik Bengzon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer aided design,Differential equations, partial,Computer science, Mathematics,Computer science,Mechanics, applied,Electronic books
رده :
E-BOOK
402. The Temporal Logic of Reactive and Concurrent Systems :
پدیدآورنده : by Zohar Manna, Amir Pnueli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
6
B996
1992
403. The innovation in computing companion :
پدیدآورنده : Gerard O'Regan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
404. The management of transshipment terminals :
پدیدآورنده : Dirk Christian Mattfeld.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automobiles-- Transportation.,Business logistics.,Decision making.,Marine terminals-- Management.,Operations research.,Physical distribution of goods-- Management.,Vehicles-- Transportation.,Affaires.,Automobiles-- Transportation.,Automobiles-- Transportation.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Business logistics.,Business logistics.,Decision making.,Decision making.,Economie de l'entreprise.,Marine terminals-- Management.,Marine terminals-- Management.,Operations research.,Operations research.,Physical distribution of goods-- Management.,Physical distribution of goods-- Management.,Science économique.,Vehicles-- Transportation.
رده :
TA1225
.
M38
2006eb
405. The scaled boundary finite element method :
پدیدآورنده : by Chongmin Song.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Boundary element methods.,Finite element method.,Boundary element methods.,Finite element method.,MATHEMATICS-- Numerical Analysis.
رده :
QC20
.
7
.
F56
406. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
407. Theory and Practice of Geometric Modeling
پدیدآورنده : edited by Wolfgang Stra€er, Hans-Peter Seidel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
408. Thinking-driven testing :
پدیدآورنده : Adam Roman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
رده :
QA76
.
758
409. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
410. Topics in cryptology -- CT-RSA 2018 :
پدیدآورنده : Nigel P. Smart (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
411. Toward a safer and more secure cyberspace /
پدیدآورنده : Committee on Improving Cybersecurity Research in the United States, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies ; Seymour E. Goodman and Herbert S. Lin, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Security measures.,Computer security.,Cyberterrorism-- Prevention.,Computer networks-- Security measures.,Computer security.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Cyberterrorism-- Prevention.
رده :
QA76
.
9
.
A25
T695
2007eb
412. TraceME :
پدیدآورنده : by Marcela Ruiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Computer software-- Development.,Software engineering.,Application software.,Computer science.,Computer software-- Development.,Software engineering.
رده :
QA76
.
758
.
R85
2018
413. Transactions on Engineering Technologies :
پدیدآورنده : Sio-Iong Ao, Haeng Kon Kim, Mahyar A. Amouzegar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering, Congresses.,Engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
.
W67
2017
414. Transactions on large-scale data- and knowledge-centered systems XXXVII /
پدیدآورنده : edited by Abdelkader Hameurlain, Roland Wagner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
415. Trends and Perspectives in Modern Computational Science.
پدیدآورنده : George Maroulis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
416. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
417. UML 2 par la pratique :
پدیدآورنده : Pascal Roques.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development.,Object-oriented programming (Computer science),Software patterns.,UML (Computer science),Analyse de systèmes-- Informatique.,Approche orientée objet (Informatique),Logiciels-- Modèles de conception.,UML (Informatique),Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Object-oriented programming (Computer science),Software patterns.,UML (Computer science)
رده :
QA76
.
76
.
D47
R66
2008eb
418. UNIX-Systemadministration :
پدیدآورنده : von Konrad Heuer, Reinhard Sippel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Software engineering.
419. Ubiquitous and pervasive commerce :
پدیدآورنده : George Roussos (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic commerce.,Ubiquitous computing.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Comercio electrónico.,Computación omnipresente.,Electronic Commerce,Electronic commerce.,Electronic commerce.,Informatique.,Ubiquitous Computing,Ubiquitous computing.,Ubiquitous computing.
رده :
HF5548
.
32
.
U35
2006eb
420. Using Toolpack Software Tools :
پدیدآورنده : edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
